| 1 | Bernhard K. Aichernig and Florian Lorber
Towards generation of adaptive test cases from partial models of determinized timed automata
Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015, 2015. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{aichernig_ICSTW_15,
author = {Bernhard K. Aichernig and Florian Lorber},
title = {Towards generation of adaptive test cases from partial models of determinized timed automata},
booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17, 2015},
year = {2015},
address = {},
month = {},
pages = {1--6}
} |
| 2 | Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"{o}}bstl and Willibald Krenn and Rupert Schlick and Stefan Tiran
Killing strategies for model-based mutation testing
Softw. Test., Verif. Reliab., 25(8), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{aichernig_STVR_15,
author = {Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"{o}}bstl and Willibald Krenn and Rupert Schlick and Stefan Tiran},
title = {Killing strategies for model-based mutation testing},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {8},
pages = {716--748}
} |
| 3 | Bernhard K. Aichernig and Florian Lorber and Dejan Nickovic
Time for Mutants - Model-Based Mutation Testing with Timed Automata
Tests and Proofs - 7th International Conference, {TAP} 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{aichernig_TAP_13,
author = {Bernhard K. Aichernig and Florian Lorber and Dejan Nickovic},
title = {Time for Mutants - Model-Based Mutation Testing with Timed Automata},
booktitle = {Tests and Proofs - 7th International Conference, {TAP} 2013, Budapest, Hungary, June 16-20, 2013. Proceedings},
year = {2013},
address = {},
month = {},
pages = {20--38}
} |
| 4 | Bernhard K. Aichernig and Elisabeth J{\"{o}}bstl
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{aichernig_ICST_12,
author = {Bernhard K. Aichernig and Elisabeth J{\"{o}}bstl},
title = {Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {752--757}
} |
| 5 | Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"{o}}bstl and Willibald Krenn
Efficient Mutation Killers in Action
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{aichernig_ICST_11,
author = {Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"{o}}bstl and Willibald Krenn},
title = {Efficient Mutation Killers in Action},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
year = {2011},
address = {},
month = {},
pages = {120--129}
} |
| 6 | Franz Wotawa and Mihai Nica and Bernhard K. Aichernig
Generating Distinguishing Tests Using the Minion Constraint Solver
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{WotawaNA10,
author = {Franz Wotawa and Mihai Nica and Bernhard K. Aichernig},
title = {Generating Distinguishing Tests Using the Minion Constraint Solver},
booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings},
year = {2010},
address = {},
month = {},
pages = {325--330}
} |
| 7 | Bernhard K. Aichernig and He Jifeng
Mutation Testing in UTP
Formal Aspects of Computing, 21(1-2), February, 2009 2009. |
|
| | Abstract: This paper presents a theory of testing that integrates into Hoare and He’s Unifying Theory of Programming (UTP). We give test cases a denotational semantics by viewing them as specification predicates. This reformulation of test cases allows for relating test cases via refinement to specifications and programs. Having such a refinement order that integrates test cases, we develop a testing theory for fault-based testing.
Fault-based testing uses test data designed to demonstrate the absence of a set of pre-specified faults. A well-known fault-based technique is mutation testing. In mutation testing, first, faults are injected into a program by altering (mutating) its source code. Then, test cases that can detect these errors are designed. The assumption is that other faults will be caught, too. In this paper, we apply the mutation technique to both, specifications and programs.
Using our theory of testing, two new test case generation laws for detecting injected (anticipated) faults are presented: one is based on the semantic level of UTP design predicates, the other on the algebraic properties of a small programming language. |
| | @ARTICLE{AichernigJ09,
author = {Bernhard K. Aichernig and He Jifeng},
title = {Mutation Testing in UTP},
journal = {Formal Aspects of Computing},
year = {2009},
month = {February, 2009},
volume = {21},
number = {1-2},
pages = {33-64}
} |
| 8 | Willibald Krenn and Bernhard K. Aichernig
Test Case Generation by Contract Mutation in Spec\#
Proceedings of Fifth Workshop on Model Based Testing (MBT'09)York, UK, March 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KrennA09,
author = {Willibald Krenn and Bernhard K. Aichernig},
title = {Test Case Generation by Contract Mutation in Spec\#},
booktitle = {Proceedings of Fifth Workshop on Model Based Testing (MBT'09)},
year = {2009},
address = {York, UK},
month = {March},
pages = {71-86}
} |
| 9 | Bernhard K. Aichernig and Farhad Arbab and Lacramioara Astefanoaei and Frank S. de Boer and Meng Sun and Jan Rutten
Fault-Based Test Case Generation for Component Connectors
Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'09)Tianjin, China, 29-31 July 2009. |
|
| | Abstract: The complex interactions appearing in service-oriented computing make coordination a key concern in service-oriented systems. In this paper, we present a fault-based method to generate test cases for component connectors from specifications. For connectors, faults are caused by possible errors during the development process, such as wrongly used channels, missing or redundant subcircuits, or circuits with wrongly constructed topology. We give test cases and connectors a unifying formal semantics by using the notion of design, and generate test cases by solving constraints obtained from the specification and faulty connectors. A prototype symbolic test case generator serves to demonstrate the automatizing of the approach. |
| | @INPROCEEDINGS{AichernigAABSJ09,
author = {Bernhard K. Aichernig and Farhad Arbab and Lacramioara Astefanoaei and Frank S. de Boer and Meng Sun and Jan Rutten},
title = {Fault-Based Test Case Generation for Component Connectors},
booktitle = {Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'09)},
year = {2009},
address = {Tianjin, China},
month = {29-31 July},
pages = {147–154}
} |
| 10 | Bernhard K. Aichernig and Carlo Corrales Delgado
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems
Proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering (FASE'06)Vienna, Austria, 27-28 March 2006. |
|
| | Abstract: Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these anticipated errors. This paper presents a theory and technique for generating fault-based test cases for concurrent systems. The novel idea is to generate test purposes from faults that have been injected into a model of the system under test. Such test purposes form a specification of a more detailed test case that can detect the injected fault. The theory is based on the notion of refinement. The technique is automated using the TGV test case generator and an equivalence checker of the CADP tools. A case study of testing web servers demonstrates the practicability of the approach. |
| | @INPROCEEDINGS{AichernigD06,
author = {Bernhard K. Aichernig and Carlo Corrales Delgado},
title = {From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems},
booktitle = {Proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering (FASE'06)},
year = {2006},
address = {Vienna, Austria},
month = {27-28 March},
pages = {324-338}
} |
| 11 | Bernhard K. Aichernig and Percy Antonio Pari Salas
Test Case Generation by OCL Mutation and Constraint Solving
Proceedings of the 5th International Conference on Quality Software (QSIC'05)Melbourne, Australia, 19-20 September 2005. |
|
| | Abstract: Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these anticipated errors. This paper presents a method of fault-based test case generation for pre and postcondition specifications. Here, errors are anticipated on the specification level by mutating the pre and postconditions. We present the underlying theory by giving test cases a formal semantics and translate this general testing theory to a constraint satisfaction problem. A prototype test case generator serves to demonstrate the automatization of the method. The current tool works with OCL specifications, but the theory and method are general and apply to many state-based specification languages. |
| | @INPROCEEDINGS{AichernigS05,
author = {Bernhard K. Aichernig and Percy Antonio Pari Salas},
title = {Test Case Generation by OCL Mutation and Constraint Solving},
booktitle = {Proceedings of the 5th International Conference on Quality Software (QSIC'05)},
year = {2005},
address = {Melbourne, Australia},
month = {19-20 September},
pages = {64-71}
} |
| 12 | Bernhard K. Aichernig
Mutation Testing in the Refinement Calculus
Formal Aspects of Computing, 15(2-3), November 2003. |
|
| | Abstract: This article discusses mutation testing strategies in the context of refinement. Here, a novel generalisation of mutation testing techniques is presented to be applied to contracts ranging from formal specifications to programs. It is demonstrated that refinement and its dual abstraction are the key notions leading to a precise and yet simple theory of mutation testing. The refinement calculus of Back and von Wright is used to express concepts like contracts, useful mutations, test cases and test coverage. |
| | @ARTICLE{Aichernig03,
author = {Bernhard K. Aichernig},
title = {Mutation Testing in the Refinement Calculus},
journal = {Formal Aspects of Computing},
year = {2003},
month = {November},
volume = {15},
number = {2-3},
pages = {280-295}
} |
